body {
	font-family: 'lucida grande','verdana',sans-serif;	font-size: 12pt;}h1,h3,h4 {
	text-align: center;
}h1 {	margin: 0;
	margin-top: 4em;}h3 {
	margin-top: 0;	margin-bottom: 2.5em;
}h4 {
	font-size: 14pt;	font-weight: normal;	margin-top: 3em;	margin-bottom: 5em;
}a {
	color: #210;	font-weight: bold;}a:hover {
	background: #eee;
}#c {
	width: 40em;	margin: auto;}#c p {
	line-height: 150%;
}#f {	margin-top: 5em;	border-top: 1px solid #eee;	padding-top: 5px;	font-size: 8pt;	color: #333;
}pre {	color: #333;
	border: 1px dotted #ccc;	border-width: 1px 0;	padding: 5px;
}